add_executable(exactmine exactmine.cpp)
target_link_libraries(exactmine alice kitty lorina percy)
